{ open Parser }

rule token = parse
  [' ' '\t' '\r' '\n'] { token lexbuf }
| '+' { OR }
| '*' { AND }
| '!' { NOT }
| '(' { LPAREN }
| ')' { RPAREN }
| ['a'-'z' 'A'-'Z'] as id { ID(id) }
| eof { EOF }
